首页> 外文OA文献 >Cut elimination and strong separation for substructural logics: An algebraic approach

【2h】

Cut elimination and strong separation for substructural logics: An algebraic approach

机译：切割消除和子结构逻辑的强分离：代数方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Nikolaos Galatos; Hiroakira Ono;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Cut elimination and strong separation for substructural logics: An algebraic approach [J] . Galatos N, Ono H Annals of Pure and Applied Logic . 2010,第9期

机译：子结构逻辑的割除和强分离：一种代数方法
2. Algebraic proof theory for substructural logics: Cut-elimination and completions [J] . Ciabattoni A., Galatos N., Terui K. Annals of Pure and Applied Logic . 2012,第3期

机译：子结构逻辑的代数证明理论：消除和完成
3. CUT ELIMINATION THEOREMS AND A CANONICAL MODEL CONSTRUCTION FOR SOME IMPLICATIONAL SUBSTRUCTURAL LOGIC [J] . NORIHIRO KAMIDE Scientiae mathematicae Japonicae . 2001,第2期

机译：某些隐含子结构逻辑的裁切定理和典范模型构造
4. Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic [C] . Roy Dyckhoff, Delia Kesner, Stephane Lengrand International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US) . 2006

机译：用于隐含逻辑的Hudelmaier深度绑定后续演算的强力消除系统
5. Substructural logics, combinatory logic, and lambda-calculus. [D] . Bimbo, Katalin. 1999

机译：子结构逻辑，组合逻辑和lambda演算。
6. Cultural logics: a key issue in a Kaizen approach for malaria elimination [O] . Susanna Hausmann-Muela, Koen Peeters Grietens, Joan Muela Ribera 2012

机译：文化逻辑：改善消除疟疾的Kaizen方法中的关键问题
7. Cut elimination and strong separation for substructural logics: An algebraic approach [O] . Galatos, Nikolaos, Ono, Hiroakira 2010

机译：子结构逻辑的割除和强分离：一种代数方法
8. Structural Cut Elimination in Linear Logic [R] . Pfenning, F. 1994

机译：线性逻辑中的结构切割消除

Cut elimination and strong separation for substructural logics: An algebraic approach

著录项

引文网络

相似文献

相关主题

期刊订阅